#include<stdio.h>
int main(){
    char res[114];
    int i,flag,cnt=0;
    scanf("%99s",res);
    while(res[cnt]!='\0')
    {
        if(res[cnt]>='0' && res[cnt]<='9')
        printf("%c",res[cnt]);
        cnt++;
    }
    // printf("%d\n",cnt);
    return 0;               
}